无人机地面控制系统操作员控制台设计与仿真

设计的无人作战飞机地面控制系统操作员控制台是为进行未来无人机编队作战需求,通过仿真手段进行验证的某大型无人机作战演示系统的一个子系统,采用了二维、三维图形显示技术、TCP/IP网络技术、数据库技术,完成了实时无人机状态监控平台、无人机多机任务监控平台、无人机信息监控平台、三维虚拟环境仿真平台、网络数据传输与管理、飞行数据处理、无人机平台等模块的编制工作.从软件工程的角度分别对各个开发阶段的工作及其功能实现做了具体的阐述.最后,对本系统进行了仿真测试,获得了较好的效果,为实际应用提供了有力依据.     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

准陶瓷Cf/SiC复合材料的制备

采用热重-差热(TG-DTA)、红外(IR)等分析测试手段,研究了聚碳硅烷(PCS)的裂解及化学转化过程,从理论上验证了先驱体聚碳硅烷(PCS)600℃裂解产物的准陶瓷特性.先驱体聚碳硅烷在600℃呈现一种半有机、半无机状态,其产物具有准陶瓷的特征,在大约750℃出现无机化转变高峰,固称其为准陶瓷.以碳布、准三维编织体、三维编织体为增强体,采用先驱体浸渍裂解(PIP)工艺在600℃制备了碳纤维增强碳化硅(Cf/SiC)准陶瓷基复合材料.结果表明,以三维编织体增强的准陶瓷Cf/SiC复合材料获得了较理想的结构、性能,所制备3D-Cf/SiC复合材料密度仅有1.27g/cm3,弯曲强度达到193.69MPa,室温拉伸强度为197.69MPa,600℃拉伸强度为167.33MPa.复合材料断口形貌分析表明,在低温600℃制备的准陶瓷Cf/SiC复合材料呈现明显的韧性断裂特征.     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

面向钢铁企业的分布式智能化管理信息系统YHWG

我们开发的“分布式智能化管理信息系统ＹＨＷＧ”由钢种辅助设计专家系统、转炉炉衬监测诊断专家系统和低合金钢及转炉炉衬信息管理系统等部分组成,目前已在武汉钢铁公司得到应用,取得了良好的经济效益     

论管理协议细栈MTS的构造

开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。     

点阵图形的二次压缩法

基于YH-1巨型机,本文详细介绍了一种计算机图形的二次压缩法。该方法已经在YHHT 图形软件上成功地实现,应用结果证明这种方法是高效的。     

获得前馈序列最大周期的一般方法

本文讨论了前馈序列的周期性问题,找到了使前馈序列获得最大周期的一般方法。     

直接力/气动力复合作用动能拦截弹姿态控制方法

针对直接力/气动力复合作用动能拦截弹的姿态控制问题,建立了拦截弹俯仰-偏航通道短周期运动模型;利用线性二次型最优跟踪控制理论结合姿控固体小火箭点火逻辑设计了复合控制系统,通过分析非线性容限得出了该系统对直接力偏差具有强鲁棒性的结论;姿控回路仿真表明系统具有快速响应特性及良好的跟踪性能,考虑侧喷干扰效应等实际条件的六自由度弹道仿真表明所设计的控制系统能够满足拦截末段直接碰撞要求。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。